SOURCE_CODES
  ENABLED main
END_OF_SOURCE_CODES
